==Motivation== The seemingly more intuitive notion – that all complete types of the language are realized – turns out to be too weak (and is, appropriately, named weak saturation, which is the same as 1-saturation). The difference lies in the fact that many structures contain elements which are not definable (for example, any transcendental el...